Combinational logic - PDFSEARCH.IO - Document Search Engine

Combinational logic
Results: 45

#	Item
31	Microsoft Word - SeqVerification08.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-02-17 18:15:49 Logic in computer science Mathematics Formal methods Computer memory Automata theory Rewriting Retiming Combinational logic Flip-flop Theoretical computer science Digital electronics Electronic engineering
32	Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-08-09 21:17:37 Formal methods Logic in computer science NP-complete problems And-inverter graph Diagrams Boolean satisfiability problem Satisfiability Logic synthesis Automatic test pattern generation Electronic engineering Theoretical computer science Electronic design automation
33	Scalably-Verifiable Sequential Synthesis Robert Brayton Alan Mishchenko Department of EECS, University of California, Berkeley Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-10-02 14:31:33 Electronic design automation Digital electronics Logic in computer science Electrical circuits And-inverter graph Retiming Automatic test pattern generation Formal verification Combinational logic Electronic engineering Formal methods Theoretical computer science
34	On Resolution Proofs for Combinational Equivalence Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:55:07 Automated theorem proving Boolean algebra Propositional calculus Predicate logic Resolution Unit propagation Mathematical proof Davis–Putnam algorithm NP Logic Mathematical logic Mathematics
35	Merging Nodes Under Sequential Observability Michael L. Case1,2 1 Victor N. Kravets3 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-02 23:52:50 Electronic design automation Logic in computer science Theoretical computer science Scan chain Logic optimization And-inverter graph Combinational logic Retiming Algorithm Electronic engineering Formal methods Digital electronics
36	Scalable and Scalably-Verifiable Sequential Synthesis Alan Mishchenko Michael Case Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-07-28 20:26:28 Electronic design automation Electrical circuits And-inverter graph Diagrams Retiming Automatic test pattern generation Scan chain Combinational logic Sequential logic Electronic engineering Formal methods Digital electronics
37	Cyclic Combinational Circuits: Analysis for Synthesis Marc D. Riedel and Jehoshua Bruck California Institute of Technology Mail Code[removed], Pasadena, CA[removed]E-mail: {riedel, bruck}@paradise.caltech.edu Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2003-04-29 09:12:10 Design Logic in computer science Digital electronics Diagrams Electronic design Combinational logic Binary decision diagram Circuit Logic gate Electronic engineering Theoretical computer science Electronic design automation
38	Applying Logic Synthesis for Speeding Up SAT Niklas Een Alan Mishchenko Niklas Sörensson Add to Reading List Source URL: minisat.se Language: English - Date: 2007-06-05 16:32:06 Answers in Genesis Combinational logic Economy of New York City Mathematics American International Group Theoretical computer science And-inverter graph
39	2 Preliminaries A combinational boolean network is a directed acyclic graph (DAG) with nodes corresponding to logic gates and directed edges corresponding to wires connecting the gates. Incoming edges of a node are calle Add to Reading List Source URL: minisat.se Language: English - Date: 2009-12-31 17:36:11 Electronic engineering Diagrams Circuit Theory of computation Cut And-inverter graph Mathematics Theoretical computer science Graph connectivity Combinatorial optimization
40	Microsoft PowerPoint - L04-LogicGates.ppt Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2004-02-13 08:54:01 Logic gates Electronic design Integrated circuits Algebraic logic Combinational logic Negated AND gate CMOS OR gate Propagation delay Electronic engineering Digital electronics Electronics

UPDATE